一种安全协议的安全性分析及攻击研究

针对Web安全协议SSL的握手协议部分进行了详尽的阐述，对其安全性作了一定的分析，给出了理论上存在的三个协议漏洞的详尽描述，并且经过测试验证，指出了SSL协议存在***模式漏洞。     

典型楼控系统的比较及选型研究

本文针对主流楼控技术的网络架构、协议及某网站实验室的国内外楼控系统的排名进行了相应的分析研究，并重点比较了国内外典型楼控系统的各项数据，为楼控的产品选型提供了有力依据。     

综合防范 ARP 欺骗的实例分析

局域网用户因受到ARP欺骗，无法与网关建立通信连接，严重影响正常办公。针对此，本文结合实例分析了ARP协议的原理和ARP欺骗发生的原因，并通过综合应用多种防范措施，保障局域网的正常运行。     

Analytical modeling of Transmission Control Protocol NewReno using Generalized Stochastic Petri Nets

This paper presents a novel analytical model of Transmission Control Protocol (TCP) using a generalized stochastic Petri net (GSPN). Extensive simulation work has been done for the performance evaluation of TCP NewReno protocol. In view of the limitations of the simulation technique, we present an analytical approach using GSPN. A GSPN is a useful mathematical tool that solves continuous time Markov chains for complex systems and evaluates the stationary behavior. In this paper, we analyze the slow‐but‐steady variant of TCP NewReno. The model captures the behavioral aspects of the slow start and the congestion avoidance phase together with the fast retransmit and recovery capabilities of TCP NewReno. Performance metrics such as throughput, goodput, and task completion time of the system are obtained. The effect of variation in the model parameters on the performance is studied. The results are validated using the network simulator, and their accuracy is verified by evaluating the confidence interval. The performance of the proposed model is compared with that of TCP Reno. The performance of the proposed model is also compared with one of the previous models. The numerical illustrations and comparison of the proposed technique with simulation validates the accuracy, efficiency, and competence of the GSPN technique. While GSPN modeling for TCP is investigated in depth for the TCP NewReno and TCP Reno variant in this paper, other protocols could be also analyzed similarly. Copyright © 2013 John Wiley & Sons, Ltd.     

Admissible output consensus control for singular swarm systems

For swarm systems consisting of agents described by high-order linear singular systems, admissible output consensus problems are investigated. By using observability decomposition and eigenvalue decomposition techniques, a sufficient condition for admissible output consensus and a necessary and sufficient condition for admissible limited control energy output consensus are obtained. Furthermore, it is shown that stabilisability of the agents is a sufficient condition for admissible output consensualisability, and an approach to solve the protocol design problem is presented. Finally, a numerical example is provided to demonstrate the effectiveness of protocol design approach.     

General study of jitter mechanisms for metric-based wireless routing protocols

To ameliorate high collision, a nefarious side effect of route discovery stage of reactive routing protocols in wireless networks, jitter mechanisms are proposed which enforce wireless nodes to postpone their transmission for a random amount of time so as to reduce probability of simultaneous transmission. Although it has been shown that jitter mechanisms can dramatically improve reactive routing protocols, it was not until recently that jitter mechanisms have been subjected to study. In this paper, different random distributions are proposed for jittering mechanisms and also shaping function, with the aim of which a simple routing protocol like AODV becomes sensitive to any arbitrary metric, is defined. Comprehensive simulation of routing metrics and jitter mechanisms have revealed that simple modification of a jitter mechanism, which can be even implemented independent of a routing protocol, greatly improves routes discovered by any routing protocol.     

Fast Two-Output Secure Computation with Optimal Error Probability

Cut-and-choose paradigm makes Yao's protocol for two-party computation secure in malicious model with an error probability.In CRYPTO 2013,based on multi-phase cut-and-choose,Lindell reduced this probability to the optimal value.However,this work can only compute single-output functions with optimal error probability.We transform multi-phase cut-and-choose for singleoutput case into one that can deal with two-output functions,meanwhile maintaining the optimal error probability.Based on this new paradigm,we propose an efficient two-output secure computation protocol.Besides,by utilizing the specific property of the output garbled keys,we solve the authenticity issue of the generator's output with only symmetric cryptographic operations linear in the output length of the generator,which is the most efficient method so far in standard model without Random oracle (Ro).     

Effective sampling strategy to detect food and feed contamination: Herbs and spices case

Sampling plans for food safety hazards are aimed to be used to determine whether a lot of food is contaminated (with microbiological or chemical hazards) or not. One of the components of sampling plans is the sampling strategy. The aim of this study was to compare the performance of three different sampling strategies, being simple random sampling (SRS), stratified random sampling (STRS), and systematic sampling (SS), with each other for their probability of detecting a heterogeneously distributed contamination in a lot of herbs or spices (i.e., a dry food product). To this end, a simulation model was developed, and applied to different scenarios for contamination level and numbers of samples collected. In addition, as a case study, the sampling plan of a company processing herbs and spices was evaluated using the simulation model. Results showed that the effectiveness of the sampling plan is influenced by the sampling strategy. With expected low contamination levels the SS strategy performs better than the two other strategies. At higher expected contaminated levels, the STRS strategy is preferred.     

基于MODBUS协议的单片机与触摸屏通信实现

为了提高色选机的可操控性,在Modbus协议的基础上,设计实现了一种单片机和触摸屏相互通信的人机交互系统。结合对Modbus协议的认识与研究,阐述了如何使用STC单片机通过MAX232与威纶触摸屏进行人机交互,同时给出了硬件电路图和软件流程图,并进行了测试验证与分析。结果表明,该通信系统在色选机中的数据传输稳定可靠,同时还为其他人机交互系统的设计提供了参考。